Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 6.Ident. | Authors (with country if any) | Title |
---|---|---|
003873 | Samuel Colin [France] ; Arnaud Lanoix [France] ; Olga Kouchnarenko [France] ; Jeanine Souquières [France] | Using CSP||B Components: Application to a Platoon of Vehicles |
003E72 | Samuel Colin [France] ; Arnaud Lanoix [France] ; Olga Kouchnarenko [France] ; Jeanine Souquières [France] | Using CSP||B Components: Application to a Platoon of Vehicles |
003F31 | Samuel Colin [France] ; Arnaud Lanoix [France] ; Olga Kouchnarenko [France] ; Jeanine Souquières [France] | Towards Validating a Platoon of Cristal Vehicles using CSP||B |
004838 | Samir Chouali [France] ; Samuel Colin [France] ; Ahmed Hammad [France] ; Olga Kouchnarenko [France] ; Arnaud Lanoix [France] ; Hassan Mountassir [France] ; Jeanine Souquières [France] | Requirements for the description of a component in order to use in a component based approach -- Livrable TACOS L2-1.0 |
005223 | Jacques Julliand [France] ; Jeanine Souquières [France] | Approches formelles pour le développement de logiciels |
005328 | Jacques Julliand [France] ; Jeanine Souquières [France] | Editorial |
This area was generated with Dilib version V0.6.33. |